Which simple types have a unique inhabitant?
نویسندگان
چکیده
منابع مشابه
Which Types of Learning Make a Simple Game Complex?
The present study focuses on a class of games with reinforcement-learning agents that adaptively choose their actions to locally maximize their rewards. By analyzing a limit model with a special type of learning, previous studies suggested that dynamics of games with learners may become chaotic. We evaluated the generality of this model by analyzing the consistency of this limit model in compar...
متن کاملOn Metric Spaces in Which Metric Segments Have Unique Prolongations
An M-space is a metric space (X, d) having the property that for each pair of points p, q ∈ X with d(p, q) = λ and for each real number α ∈ [0, λ], there is a unique rα ∈ X such that d(p, rα) = α and d(rα, q) = λ − α. In an M-space (X, d), we say that metric segments have unique prolongations if points p, q, r, s satisfy d(p, q) + d(q, r) = d(p, r), d(p, q) + d(q, s) = d(p, s) and d(q, r) = d(q...
متن کاملWhich data types have w-complete initial algebra specifications?*
Bergstra, J.A. and J. Heering, Which data types have o-complete initial algebra specifications’?, Theoretical Computer Science 124 (1994) 1499168. An algebraic specification is called w-complete or inductively complete if all (open as well as closed) equations valid in its initial model are equationally derivable from it, i.e., if the equational theory of the initial model is identical to the e...
متن کاملOn Ideals Which Have the Weakly Insertion of Factors Property
A one-sided ideal of a ring has the insertion of factors property (or simply, IFP) if implies r for . We say a one-sided ideal of has the weakly IFP if for each , implies , for some non-negative integer . We give some examples of ideals which have the weakly IFP but have not the IFP. Connections between ideals of which have the IFP and related ideals of some ring extensions a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2015
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2858949.2784757